object Test {
  def main(args: Array[String]): Unit = {
    val Const, x = 0
    val (Const, List(`x`, _, a), b) = (0, List(0, 1337, 1), 2)
    val (_, (c, _)) = (2, (3, 4))

    assert(a == 1)
    assert(b == 2)
    assert(c == 3)

    val (Const, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, List(`x`, _, a21), b21) =
      (0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, List(0, 1337, 1), 2)
    val (_, (_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, c21, _)) =
      (2, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 4))

    assert(a21 == 1)
    assert(b21 == 2)
    assert(c21 == 3)

    val (Const, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, List(`x`, _, a22), b22) =
      (0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, List(0, 1337, 1), 2)
    val (_, (_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, c22, _)) =
      (2, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 4))

    assert(a22 == 1)
    assert(b22 == 2)
    assert(c22 == 3)

    val (Const, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, List(`x`, _, a23), b23) =
      (0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, List(0, 1337, 1), 2)
    val (_, (_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, c23, _)) =
      (2, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 4))

    assert(a23 == 1)
    assert(b23 == 2)
    assert(c23 == 3)

    val (Const, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, List(`x`, _, a24), b24) =
      (0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, List(0, 1337, 1), 2)
    val (_, (_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, c24, _)) =
      (2, (1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 4))

    assert(a24 == 1)
    assert(b24 == 2)
    assert(c24 == 3)
  }
}
